Turing machine

Results: 564



#Item
171Büchi automaton / Regular language / DFA minimization / Finite-state machine / Turing machine / Deterministic automaton / Ω-automaton / Automata theory / Theory of computation / Theoretical computer science

Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel.

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-10-15 08:28:09
172Computer science / Turing machine / Models of computation / Alan Turing / Universal Turing machine / Computability / Computational complexity theory / Halting problem / Church–Turing thesis / Theoretical computer science / Computability theory / Theory of computation

Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY Lecture notes

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2013-10-08 12:14:22
173Literature / Computer science / The Atrocity Archives / Magic / Dungeons & Dragons / Turing machine / Shakira / Church–Turing thesis / Champions / Games / Alan Turing / Computability theory

THE LAUNDRY A roleplaying game based on the ‘Laundry Files’ novels by Charles Stross

Add to Reading List

Source URL: www.cubicle7.co.uk

Language: English - Date: 2014-05-11 06:01:59
174Human–computer interaction / Turing machine / Computer science / Artificial life / Self-replication / Cellular automaton / Reconfigurable computing / Bio-inspired computing / Automata theory / Applied mathematics / Theoretical computer science / BioWall

LOGIC SYSTEMS LABORATORY Swiss Federal Institute of Technology Prof. Daniel Mange Prof. Jacques Zahnd Prof. Eduardo Sanchez

Add to Reading List

Source URL: lslwww.epfl.ch

Language: English - Date: 2001-12-13 08:15:14
175Complexity classes / Computational resources / Structural complexity theory / Analysis of algorithms / Time complexity / NP / Turing machine / P / Complexity / Theoretical computer science / Computational complexity theory / Applied mathematics

COMS11700 Computational complexity Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-05-31 09:18:31
176Computability theory / Automata theory / Theory of computation / Models of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Mathematics

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-05-01 05:10:06
177Computability theory / Theory of computation / Alan Turing / Turing machine / Proof theory / Undecidable problem / Machine that always halts / Decidability / Church–Turing thesis / Theoretical computer science / Mathematics / Mathematical logic

COMS11700 Undecidability Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-05-31 09:18:34
178Computer science / Models of computation / Computability theory / Automata theory / Finite-state machine / Universal Turing machine / Computability / Theory of computation / Turing machine / Theoretical computer science

COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-05-31 09:18:34
179Automata theory / Turing machine / Computer science / Formal languages / Deterministic finite automaton / Finite-state machine / Unrestricted grammar / Nondeterministic finite automaton / Pushdown automaton / Theory of computation / Models of computation / Theoretical computer science

Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2006-02-24 16:07:36
180Theory of computation / Computability theory / Alan Turing / Turing machine / Mathematical logic / Computability / Algorithm / Church–Turing thesis / Interactive computation / Theoretical computer science / Computer science / Applied mathematics

International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-01-04 08:41:21
UPDATE